منابع مشابه
Updates by Reasoning about States Updates by Reasoning about States *
We present a language extension to Datalog which allows to specify deterministic update procedures in a declarative way. Existing update languages either rely on procedural aspects of program evaluation or leave the framework of deductive databases and logic programming. In contrast, we show that declarative update semantics can be attained by incorporating state terms into the language. Since ...
متن کاملInductive Reasoning about Unawareness Inductive Reasoning about Unawareness
We develop a model of games with awareness that allows for di erential levels of awareness. We show that, for the standard modal logical interpretations of belief and awareness, a player cannot believe there exist propositions of which he is unaware. Nevertheless, we argue that a boundedly rational individual may regard the possibility that there exist propositions of which she is unaware as be...
متن کاملReasoning about Student Knowledge and Reasoning
A basic feature of Intelligent Tutoring Systems (ITS) is their ability to represent domain knowledge that can be attributed to the student at each stage of the learning process. In this paper we present a general (first order logic) framework for the representation of this kind of knowledge acquired by the system through the analysis of the student answers. This represantation makes it possible...
متن کاملHierarchical Reasoning about Inequalities
This paper describes a program called BOUNDER that proves inequalities between functions over finite sets of constraints. Previous inequality algorithms perform well on some subset of the elementary functions, but poorly elsewhere. To overcome this problem, BOUNDER maintains a hierarchy of increasingly complex algorithms. When one fails to resolve an inequality, it tries the next. This strategy...
متن کاملDefault reasoning about probabilities
Acknowledgments First and foremost I would like to thank Harald Ganzinger and Hans J urgen Ohlbach who provided me with the opportunity to conduct this research at the Max-Planck-Institute for Computer Science. Here I found a perfect environment that gave me all the freedom I wanted and every support I needed. Hans J urgen put me on the track of probabilistic reasoning in terminological logics....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Behavior Analyst
سال: 1984
ISSN: 0738-6729,2196-8918
DOI: 10.1007/bf03391907